WRITE_RD(zext16(RS1));
